https://dasbestelexikon.de/nl/wiki/Conjunctieve_normaalvorm